Structural Markedness in Formal Features: Deriving Interpretability

Interpretability of linguistic variables: a formal account

This contribution is concerned with the interpretability of fuzzy rule-based systems. While this property is widely considered to be a crucial one in fuzzy rule-based modeling, a more detailed formal investigation of what "interpretability" actually means is not available. So far, interpretability has most often been associated with rather heuristic assumptions about shape and mutual overlappin...

Deriving Relational Database Programs from Formal Specifications

The derivation of database programs directly from formal specii-cations is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However diicult in general, deriving relational database applications directly from Z sp...

Deriving Correct Prototypes from Formal Z Specifications

This paper describes a systematic way of constructing correct prototypes in a functional language such as Miranda from Z specifications. A formal relationship between Z specifications and functional prototypes is established. This relationship is based on model refinement in the sense of specification refinement in the model-oriented specification style. To reduce the number of proofs required ...

A Formal Framework to Characterize Interpretability of Procedures

We provide a novel notion of what it means to be interpretable, looking past the usual association with human understanding. Our key insight is that interpretability is not an absolute concept and so we define it relative to a target model, which may or may not be a human. We define a framework that allows for comparing interpretable procedures by linking it to important practical aspects such ...

Deriving coda conditions through the generalized local conjunction of markedness constraints